Papers with backward chaining algorithm
SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning (2025.naacl-long)
Copied to clipboard
| Challenge: | Among different methods for structured reasoning, we focus on backward chaining, where the goal is recursively decomposed into subgoals by searching and applying rules. |
| Approach: | They propose a backward chaining system that integrates a symbolic solver and an LLM to improve the performance of LLM-based reasoning. |
| Outcome: | The proposed system improves deductive, relational, and arithmetic reasoning benchmarks compared to baselines. |